I. 介紹
第一章 介紹 一週
II. 基礎理論
第二章 邏輯二週
第三章 狀態轉換系統 二週 包含部份作業以及簡單模型的建立
III. 正規方法
第四章 時態邏輯與模型檢驗 一週
第五章 定理證明與程式驗證 一週
第六章 處理代數 一週
第七章 嵌入式系統 (時間自動機、混和式自動機) 一週
第八章 VDM、Z、B、SDL 一週
第九章 UML與State Chart 一週
IV. 應用、案例、與工具
第十章 HOL/PVS 一週
第十一章 RED 與 Uppall(含實例解說) 一週
第十二章 CUDD/SMV/NuSMV 一週
第十三章 Statemate Rapsody 一週
|